Logical consequence - PDFSEARCH.IO - Document Search Engine

Logical consequence
Results: 692

#	Item
171	Can We Beat the Prefix Filtering? An Adaptive Framework for Similarity Join and Search Jiannan Wang Guoliang Li Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-03-17 09:23:41 Deduction Entailment Logical consequence Metalogic Philosophical logic EMD E-unit Rail transport Land transport Logic
172	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
173	A list of common task words Account for Give reasons for or explain why something happens. Add to Reading List Source URL: www.student.uwa.edu.au Language: English - Date: 2014-04-11 03:11:35 Arguments Critical thinking Logical consequence Logic Reason Science Knowledge Mind
174	Reasoning with Mental Models Cohen R (ed[removed]Realism and Anti-realism in the Philosophy of Science. Kluwer, Dordrecht, The Netherlands Cornman J W 1975 Perception, Common Sense, and Science. Yale University Press, New Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:37:19 Reasoning Deduction Thought Cognitive science Logical consequence Deductive reasoning Inference Reason Validity Science Logic Ethology
175	Combining Shared State with Speculative Parallelism in a Functional Language Matthew Le Matthew Fluet Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Deduction Entailment Logical consequence Logical syntax Metalogic Monad Thread Parallel computing Schedule Logic Computing Software engineering
176	Separation Logic for Small-step Cminor Andrew W. Appel1,? and Sandrine Blazy2,? 1 Princeton University 2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Deduction Logic in computer science Entailment Logical consequence Model theory Symbol Separation logic Hoare logic Logic Metalogic Program logic
177	Psychological Bulletin Theories of the Syllogism: A Meta-Analysis Sangeet Khemlani and P. N. Johnson-Laird Online First Publication, January 30, 2012. doi: [removed]a0026841 CITATION Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:49 Traditional logic Logical consequence Arguments Epistemology Syllogism Term logic Inference Prior Analytics Deductive reasoning Logic Science Reasoning
178	An Adaptive Logic-based Approach to Abduction in AI∗ (Preliminary Report) Tjerk Gauderis Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:47:08 Non-classical logic Logical consequence Defeasible reasoning Non-monotonic logic Default logic Abductive reasoning Entailment First-order logic Inference Logic Reasoning Logic programming
179	Journal of Experimental & Theoretical Artificial Intelligence Vol. 18, No. 2, June 2006, 121–148 Models and heterogeneous reasoning P. N. JOHNSON-LAIRD* Department of Psychology, Princeton University, Green Hall, Princ Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:59 Deduction Logical consequence Propositional calculus Thought Mental model Reason Argument Deductive reasoning Interpretation Logic Science Reasoning
180	Propositional Logic Extended With A Pedagogically Useful Relevant Implication∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-05-06 17:32:48 Non-classical logic Logical consequence Paraconsistent logic Natural deduction Relevance logic Entailment Paradoxes of material implication Material conditional Modal logic Logic Philosophical logic Propositional calculus

UPDATE